failure 264:
Requirement failed: {localtime.01} The localtime() function shall convert the time in seconds into a local time
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/time_conversion_scenario.utz (time_conversion_scenario.utt), line 4377 |
| occurence |
| scenario |
time_conversion_scenario |
| specification function |
localtime_spec() |
| parameter value |
CallContext context = [pid=7529,thr=b74646c0] |
| parameter value |
TimeTObj * @timer = 20000 |
| parameter value |
TimeTObj * timer = 20000 |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(TmTObj *) struct TmTObj { sec=20, min=33, hour=8, mday=1, mon=0, year=70, wday=4, yday=0, isdst=0 } |
coverage
& branch |
C_Priority
Process with high priority |
| properties |
| REQ failed |
localtime.01 |
| kind |
POSTCONDITION_FAILED |
|